lastchange($x$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$ changed before $e$ then (last change to $x$ before $e$) else $e$ fi